Turing machine - PDFSEARCH.IO - Document Search Engine

Turing machine
Results: 564

#	Item
91	A New-Millenium Attack on the Busy Beaver Problem∗ Kyle Ross, Owen Kellett, Bram van Heuveln, Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Sciencee Renss Add to Reading List Source URL: www.cogsci.rpi.edu Language: English - Date: 2006-06-19 14:20:06 Turing machine Computer science Models of computation Busy beaver Computability Halting problem Algorithm Finite-state machine Description number Theory of computation Computability theory Theoretical computer science
92	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2007-12-14 11:41:15 Computability theory Theory of computation Turing machine Alan Turing Universal Turing machine Halting problem Computability Computable number Algorithm Theoretical computer science Applied mathematics Mathematics
93	Lecture on undecidability July 27, 2011 inofficial script based on a lecture by Michael M. Wolf (TU München) Add to Reading List Source URL: problem24.files.wordpress.com Language: English - Date: 2011-07-27 08:48:45 Computer science Computable function Halting problem Church–Turing thesis Turing machine Algorithm Busy beaver Computability Entscheidungsproblem Computability theory Theoretical computer science Theory of computation
94	david link There Must Be an Angel On the Beginnings of the Arithmetics of Rays From August 1953 to May 1954 strange love-letters appeared on the notice board of Manchester University’s Computer Department:1 “darling Add to Reading List Source URL: www.alpha60.de Language: English - Date: 2013-08-18 16:39:09 Theoretical computer science Christopher Strachey Alan Turing Turing machine Ferranti Mark 1 Manchester Mark 1 Computer Algorithm ELIZA Computing Classes of computers Computer hardware
95	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 77 DATE: MAY 1, 2015 PROJECT MP0118 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2015-04-07 10:41:01 Lathe Machine tool Turing machine Technology Woodworking Computability theory
96	PDF Document Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2013-01-06 15:08:50 Alan Turing Turing machine Enigma Apple Inc. British people English people Computing
97	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-13 20:55:06 Turing machine Theory of computation Alan Turing Computability theory Turing completeness Actor model Algorithm Complexity Strong AI Computer science Theoretical computer science Applied mathematics
98	Retraction of Probabilistic Computation and Linear Time Lance Fortnow Michael Sipser MIT Math Dept. Cambridge, MA 02139 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2010-05-13 09:33:41 Structural complexity theory Complexity classes Models of computation Lance Fortnow Probabilistic complexity theory Interactive proof system IP Bounded-error probabilistic polynomial Probabilistic Turing machine Theoretical computer science Computational complexity theory Applied mathematics
99	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-12-14 19:37:35 Computer science Formal methods Deterministic finite automaton Nondeterministic finite automaton Finite-state machine X-machine Non-deterministic Turing machine Ω-automaton Finite state transducer Models of computation Automata theory Theoretical computer science
100	(K) Putting the Books in OrderGeorgian Armenian Logical Order Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2013-11-03 01:31:48 Computability theory Turing machine

UPDATE